منابع مشابه
Two - Variable Logic on Data
In a data word each position carries a label from a finite alphabet and a data value from some infinite domain. This model has been already considered in the realm of semistructured data, timed automata and extended temporal logics. This paper shows that satisfiability for the two-variable fragment FO(∼,<,+1) of firstorder logic with data equality test ∼, is decidable over finite and over infin...
متن کاملA Logic for Variable Aliasing in Logic Programs
This paper introduces a logic for a class of properties-in particular variable aliasing-used in static analysis of logic programs. The logic is shown to be sound, complete and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program.
متن کاملA Logic for Variable Aliasing in Logic ProgramsElena
This paper introduces a logic for a class of properties-in particular variable aliasing-used in static analysis of logic programs. The logic is shown to be sound, complete and decidable. Moreover, it is illustrated how this logic can be applied to automatize some parts of the reasoning when proving the partial correctness of a logic program.
متن کاملSemi-active Control of Building Structures using Variable Stiffness Device and Fuzzy Logic
Semi-active control devices, also called “Intelligent” control devices, constitute the positive aspects of both the passive and active control devices. A semi-active control strategy is similar to the active control strategy, but this control device has been shown to be more energy-efficient than active devices. A particular type of semi-active control device, the Variable Stiffness Device (VSD...
متن کاملLifted Variable Elimination for Probabilistic Logic Programming
Lifted inference has been proposed for various probabilistic logical frameworks in order to compute the probability of queries in a time that depends on the size of the domains of the random variables rather than the number of instances. Even if various authors have underlined its importance for probabilistic logic programming (PLP), lifted inference has been applied up to now only to relationa...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Nature
سال: 1991
ISSN: 0028-0836,1476-4687
DOI: 10.1038/351434a0